State/Event Net Equivalence
نویسنده
چکیده
The paper is concerned with P/T nets with labeled and unlabeled places and transitions. An equivalence relation is deened for such nets, which abstracts from unlabeled nodes, generalizes place bisimilarity, preserves their branching structure and is a congruence for merge, relabeling, synchronization and reenement. The relation becomes a state-oriented one when all transitions are unlabeled and an event-oriented one when places are unlabeled.
منابع مشابه
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets
We address the problem of alarm correlation in large distributed systems. The key idea is to make use of the concurrence of events in order to separate and simplify the state estimation in a faulty system. Petri nets and their causality semantics are used to model concurrency. Special partially stochastic Petri nets are developed, that establish some kind of equivalence between concurrence and ...
متن کاملComputation of Transition Adjacency Relations Based on Complete Prefix Unfolding (Technical Report)
An increasing number of works have devoted to the application of Transition Adjacency Relation (TAR) as a means to capture behavioral features of business process models. In this paper, we systematically study the efficient TAR derivation from process models using unfolding technique which previously has been used to address the state space explosion when dealing with concurrent behaviors of a ...
متن کاملComputation of Transition Adjacency Relations Based on Complete Prefix Unfolding
An increasing number of works have devoted to the application of Transition Adjacency Relation (TAR) as a means to capture behavioral features of business process models. In this paper, we systematically study the efficient TAR derivation from process models using unfolding technique which previously has been used to address the state space explosion when dealing with concurrent behaviors of a ...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملPartial Order Reduction for State/Event LTL
Software systems assembled from a large number of autonomous components become an interesting target for formal verification due to the issue of correct interplay in component interaction. State/event LTL [6, 5] incorporates both states and events to express important properties of component-based software systems. The main contribution of the paper is a partial order reduction technique for ve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998